121. Elements of set theory
پدیدآورنده : Zehna, Peter W
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
3
.
Z45
1972
122. Equality, resemblance and order
پدیدآورنده : Schreider, Ju.A
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S53
1975
123. Essays in the philosophy and history of logic and mathematics /
پدیدآورنده : Roman Murawski ; foreword [by] Jan Woleński
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cantor, Georg,1845-1918,Hilbert, David,1862-1943,Hoene-Wroński, Józef Maria,1776-1853,Logic-- History,Logic, Symbolic and mathematical,Mathematics-- Philosophy,Mathematics-- Philosophy-- History-- 20th century
124. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
125. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
126. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
127. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
128. Foundations of Logic and Mathematics
پدیدآورنده : by Yves Nievergelt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
129. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، System design,، Set theory,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
S29
1994
130. Foundations of computing : system development with set theory and logic
پدیدآورنده : Scheurer, Thierry.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : System design , Set theory , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
S29
1994
131. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
132. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
133. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
134. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
135. Fundamentals of Fuzzy Sets
پدیدآورنده : edited by Didier Dubois, Henri Prade.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
136. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
137. Fundamentals of mathematics
پدیدآورنده : Bernd S. W. Schreoder
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
S36F8
2010
138. Fundamentals of mathematics: an introduction to proofs, logic, sets, and numbers
پدیدآورنده : Schroder, Bernd S. W. )Bernd Siegfried Walter(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S358
2010
139. Fuzzy Approach to Reasoning and Decision-Making :
پدیدآورنده : edited by Vilém Novák, Jaroslav Ramík, Milan Mareš, Martin Černý, Jiří Nekola.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
140. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
